一个分布式并行设计集成框架系统的研究与开发

复杂产品的设计日益复杂 ,推向市场的时间日益缩短 ,并行设计技术得到广泛应用。文中实现了一个支持复杂产品多领域并行设计的集成框架YC bridge。该集成框架的开发采用符合CORBA规范的Client/Server中间件 ,实现了基于设计体模型的设计数据管理、基于语义模型的工具封装和基于扩展网络图模型的设计过程管理。YC bridge已在实际设计工作中得到较好的应用     

基于 Petri 网的决策组织结构设计

决策组织设计的首要问题是如何获得可行的组织结构。决策组织作为典型的分布式智能系统,利用Ｐｅｔｒｉ网生成其可行的组织结构是极广泛采用的方法,并已取得很多成果。该文是对这一领域的过去、现在和未来的综述。     

军事专家系统的谓词Petri网描述及其时延分析

介绍了一种基于产生式系统的军事专家系统结构,用谓词Ｐｅｔｒｉ网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Ｐｃｔｒｉ网模型并对军事专家系统的时延进行了分析。     

基于定时Petri网的舰艇保障能力仿真与评估

舰艇保障是一种主要依赖后勤技术装备的专业化后勤,也是涉及并行、冲突,并受资源、装配时间等限制的复杂离散事件过程。借助定时Petri网强大的描述能力标记过程中的各种动态行为,在此基础上对包括后勤装备在内的后勤实体、保障任务、保障活动等进行建模,采用编码、转换等手段实现舰艇保障过程仿真,并使用仿真结果对后勤保障能力进行"定量计算"为主的分析评估。     

地空导弹C3I决策系统的Petri网建模与性能分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了较为完善的决策系统的Petri网模型.并引入了决策时延这一反应指挥决策系统能力的重要性指标.这些问题的解决对提高C3I决策系统的实时性和准确性具有十分重要的意义.     

HPN基于网结构的冲突关系

混合Petri网是为了解决复杂动态系统可靠性安全性分析而提出的一种Petri网扩展模型。定义混合Petri网模型的基于结构的冲突关系 ,有助于深入理解混合Petri网模型的语义 ,对其在动态系统可靠性安全性建模与分析以及模型分析求解中的应用也具有重要意义     

炮兵群自动化指挥系统决策组织结构的 Petri 网建模与性能分析

对炮兵自动化指挥系统中决策组织的结构和能力进行了研究,建立了较为完善的各级指挥员指挥决策体系的Ｐｅｔｒｉ网模型。通过有色Ｐｅｔｒｉ网对群一级的炮兵自动化指挥系统在不同任务环境下的不同工作方式进行了建模表示和分析,引入了决策时延这一反应指挥决策体系能力的重要性能指标,并进一步运用马尔科夫链的分析方法对建立的指挥决策体系的Ｐｅｔｒｉ网模型进行定量分析,得出了量化结果,为自动化指挥系统中决策组织结构的设计和分析提供了理论根据。     

Petri网在防空C~3I系统建模与分析中的应用

针对野战防空系统中的火力分配问题,首先为旅营两级防空系统建立了Ｐｅｔｒｉ网模型,并运用时间Ｐｅｔｒｉ网理论对其进行了时延分析,论述了为野战防空火力分配建立辅助决策系统的重要性。最后利用谓词Ｐｅｔｒｉ网描述了火力分配的推理过程,为有效分析战术决策的正确性提供了依据和思路     

基于对象petri网的雷达组网系统应用效能研究

建立了复杂环境下雷达网防空作战系统OPDL模型,并嵌入相关的数学模型,对雷达网在防空作战中的应用效能进行了仿真分析,给出了定量的分析结论。研究表明,雷达组网技术的运用有效提高了防空武器系统的作战能力,为深入分析研究雷达网的作战效能奠定了基础。     

防空体系反制网电攻击的UML与Petri网模型

网电攻击装备的出现,给传统防空体系带来全面严峻的新威胁。通过分析"舒特"系统,得到网电攻击3种典型作战样式:物理摧毁、电子攻击和网络攻击,分别从物理层次、能量层次和网络层次探索了防空体系反制网电攻击策略。为描述防空体系反制网电攻击的对策、作战结构、作战步骤等问题,分别建立了统一建模语言(UML)和Petri网模型,从理论上初步探索了防空体系反制网电攻击的对策,具有一定的理论与现实意义。